Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
🧮Programming Language Theory
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
📝Lisp
Rust unit testing: asynchronous code
jorgeortiz.dev·10h·
Discuss: r/rust
🦀Rust
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·1d
🔢Mathematical Logic
Death to Type Classes
jappie.me·5h·
Discuss: Hacker News
🧮Programming Language Theory
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·4h·
Discuss: DEV
🔗Parser Combinators
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
🧮Programming Language Theory
Using C++ STL functions instead of loops – EasyHack
dev.blog.documentfoundation.org·1d
📝Lisp
Effects as Capabilities in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Programming Language Theory
An introduction to program synthesis
mchav.github.io·18h·
Discuss: r/programming
🔧Compiler Design
A Positive Lambda: '+[]{}'
stackoverflow.com·12h·
Discuss: Lobsters, Hacker News
🧮Programming Language Theory
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·2d·
Discuss: Hacker News, r/rust
🦀Rust
I Feel Like A Idiot
reddit.com·3h·
Discuss: r/golang
📝Lisp
A fake Clojure Object equals to what you want
grishaev.me·1d
🧮Programming Language Theory
Undecidability of Tiling with a Tromino
arxiv.org·2d
🧮Programming Language Theory
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·22h
🔧Compiler Design
Domain modeling, Units-of-Measure, and Property-based testing, oh my
dev.to·3d·
Discuss: DEV
📝Lisp
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
📝Lisp
Why can’t std::apply figure out which overload I intend to use? Only one of then will work!
devblogs.microsoft.com·1d
🧮Programming Language Theory
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·19h·
Discuss: Hacker News
🎲Probabilistic Programming